搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Natural Computing [electronic resource] : 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings 0 索取号：作者：Peper、 F.、Umeo、 H.、Matsui、 N.、Isokawa、 T.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2010.		Agent-Based Simulation: From Modeling Methodologies to Real-World Applications [electronic resource] : Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004 0 索取号：作者：Terano、 Takao.、Kita、 Hajime.、Kaneda、 Toshiyuki.、Arai、 Kiyoshi.、Deguchi、 Hiroshi.、SpringerLink (Online service)、出版社：Tokyo : Springer Tokyo, 2005.
	Success of University Spin-Offs [electronic resource] : Network Activities and Moderating Effects of Internal Communication and Adhocracy 0 索取号：作者：Gupte、 Manoj A.、SpringerLink (Online service)、出版社：Wiesbaden : DUV, 2007.		The Improvement of Technology Transfer [electronic resource] : An Analysis of Practices between Graz University of Technology and Styrian Companies 0 索取号：作者：Hofer、 Franz.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler, 2007.
	The Improvement of Technology Transfer [electronic resource] : An Analysis of Practices between Graz University of Technology and Styrian Companies 0 索取号：作者：Hofer、 Franz.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler, 2008.		Ethics and Compliance Programs in Multinational Organizations [electronic resource] 0 索取号：作者：Wulf、 Katharina.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler Verlag, 2012.
	A Scenario Tree-Based Decomposition for Solving Multistage Stochastic Programs [electronic resource] : With Application in Energy Production 0 索取号：作者：Mahlke、 Debora.、SpringerLink (Online service)、出版社：Wiesbaden : Vieweg+Teubner, 2011.		mODa 9-Advances in Model-Oriented Design and Analysis [electronic resource] : Proceedings of the 9th International Workshop in Model-Oriented Design and Analysis held in Bertinoro, Italy, June 14-18, 2010 0 索取号：作者：Giovagnoli、 Alessandra.、Atkinson、 Anthony C.、Torsney、 Bernard.、May、 Caterina.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2010.
	Statistical Methods for the Evaluation of University Systems [electronic resource] 0 索取号：作者：Attanasio、 Massimo.、Capursi、 Vincenza.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2011.		mODa 8 - Advances in Model-Oriented Design and Analysis [electronic resource] : Proceedings of the 8th International Workshop in Model-Oriented Design and Analysis held in Almagro, Spain, June 4鈥謠2007 0 索取号：作者：L贸pez-Fidalgo、 Jes煤s.、Rodr铆guez-D铆az、 Juan Manuel.、Torsney、 Ben.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2007.
	Effectiveness of University Education in Italy [electronic resource] : Employability, Competences, Human Capital 0 索取号：作者：Fabbris、 Luigi.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2007.		New Developments in Pseudo-Differential Operators [electronic resource] : ISAAC Group in Pseudo-Differential Operators (IGPDO), Middle East Technical University, Ankara, Turkey, August 2007 0 索取号：作者：Rodino、 Luigi.、Wong、 M. W.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2009.
	Spectral Theory in Inner Product Spaces and Applications [electronic resource] : 6th Workshop on Operator Theory in Krein Spaces and Operator Polynomials, Berlin, December 2006 0 索取号：作者：Behrndt、 Jussi.、F枚rster、 Karl-Heinz.、Langer、 Heinz.、Trunk、 Carsten.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2009.		Completeness Theory for Propositional Logics [electronic resource] 0 索取号：作者：Pogorzelski、 Witold A.、Wojtylak、 Piotr.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2008.
	Arithmetic and Geometry Around Hypergeometric Functions [electronic resource] : Lecture Notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005 0 索取号：作者：Holzapfel、 Rolf-Peter.、Uluda臒、 A. Muhammed.、Yoshida、 Masaaki.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2007.		Real and Complex Singularities [electronic resource] : S茫o Carlos Workshop 2004 0 索取号：作者：Brasselet、 Jean-Paul.、Ruas、 Maria Aparecida Soares.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2007.

	Natural Computing [electronic resource] : 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings 0 索取号：作者：Peper、 F.、Umeo、 H.、Matsui、 N.、Isokawa、 T.、SpringerLink (Online service)、出版社：Tokyo : Springer Japan, 2010.		Agent-Based Simulation: From Modeling Methodologies to Real-World Applications [electronic resource] : Post-Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004 0 索取号：作者：Terano、 Takao.、Kita、 Hajime.、Kaneda、 Toshiyuki.、Arai、 Kiyoshi.、Deguchi、 Hiroshi.、SpringerLink (Online service)、出版社：Tokyo : Springer Tokyo, 2005.
	Success of University Spin-Offs [electronic resource] : Network Activities and Moderating Effects of Internal Communication and Adhocracy 0 索取号：作者：Gupte、 Manoj A.、SpringerLink (Online service)、出版社：Wiesbaden : DUV, 2007.		The Improvement of Technology Transfer [electronic resource] : An Analysis of Practices between Graz University of Technology and Styrian Companies 0 索取号：作者：Hofer、 Franz.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler, 2007.
	The Improvement of Technology Transfer [electronic resource] : An Analysis of Practices between Graz University of Technology and Styrian Companies 0 索取号：作者：Hofer、 Franz.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler, 2008.		Ethics and Compliance Programs in Multinational Organizations [electronic resource] 0 索取号：作者：Wulf、 Katharina.、SpringerLink (Online service)、出版社：Wiesbaden : Gabler Verlag, 2012.
	A Scenario Tree-Based Decomposition for Solving Multistage Stochastic Programs [electronic resource] : With Application in Energy Production 0 索取号：作者：Mahlke、 Debora.、SpringerLink (Online service)、出版社：Wiesbaden : Vieweg+Teubner, 2011.		mODa 9-Advances in Model-Oriented Design and Analysis [electronic resource] : Proceedings of the 9th International Workshop in Model-Oriented Design and Analysis held in Bertinoro, Italy, June 14-18, 2010 0 索取号：作者：Giovagnoli、 Alessandra.、Atkinson、 Anthony C.、Torsney、 Bernard.、May、 Caterina.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2010.
	Statistical Methods for the Evaluation of University Systems [electronic resource] 0 索取号：作者：Attanasio、 Massimo.、Capursi、 Vincenza.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2011.		mODa 8 - Advances in Model-Oriented Design and Analysis [electronic resource] : Proceedings of the 8th International Workshop in Model-Oriented Design and Analysis held in Almagro, Spain, June 4鈥謠2007 0 索取号：作者：L贸pez-Fidalgo、 Jes煤s.、Rodr铆guez-D铆az、 Juan Manuel.、Torsney、 Ben.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2007.
	Effectiveness of University Education in Italy [electronic resource] : Employability, Competences, Human Capital 0 索取号：作者：Fabbris、 Luigi.、SpringerLink (Online service)、出版社：Heidelberg : Physica-Verlag HD, 2007.		New Developments in Pseudo-Differential Operators [electronic resource] : ISAAC Group in Pseudo-Differential Operators (IGPDO), Middle East Technical University, Ankara, Turkey, August 2007 0 索取号：作者：Rodino、 Luigi.、Wong、 M. W.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2009.
	Spectral Theory in Inner Product Spaces and Applications [electronic resource] : 6th Workshop on Operator Theory in Krein Spaces and Operator Polynomials, Berlin, December 2006 0 索取号：作者：Behrndt、 Jussi.、F枚rster、 Karl-Heinz.、Langer、 Heinz.、Trunk、 Carsten.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2009.		Completeness Theory for Propositional Logics [electronic resource] 0 索取号：作者：Pogorzelski、 Witold A.、Wojtylak、 Piotr.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2008.
	Arithmetic and Geometry Around Hypergeometric Functions [electronic resource] : Lecture Notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005 0 索取号：作者：Holzapfel、 Rolf-Peter.、Uluda臒、 A. Muhammed.、Yoshida、 Masaaki.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2007.		Real and Complex Singularities [electronic resource] : S茫o Carlos Workshop 2004 0 索取号：作者：Brasselet、 Jean-Paul.、Ruas、 Maria Aparecida Soares.、SpringerLink (Online service)、出版社：Basel : Birkh盲user Basel, 2007.